f::app< ||x_1||>::app< ||x_2||>:: ... ::app< ||x_N||>
    
    
